The PEPA eclipse plugin
نویسندگان
چکیده
منابع مشابه
Weaving Models with the Eclipse AMW plugin
The basic assumption in model engineering (MDE) is to consider models as first class entities. One of the most important kinds of models in MDE approaches are transformation models. Transformation models define operations between different models. However, there are many operations that are not efficiently handled by generic model transformations. For example, models transformations are not ada...
متن کاملAnimalipse - An Eclipse Plugin for AnimalScript
AnimalScript, while highly expressive and versatile, is not easy to edit with no editor support. We have developed an Eclipse plugin for editing AnimalScript that includes a text editor, outline, and code assist. We expect that this plugin will make the editing process much easier and faster. The paper presents both technical aspects of the development and the resulting plugin.
متن کاملAn Eclipse Plugin to Support Agile Reuse
Reuse in an Agile context is largely an unexplored research topic. On the surface, these two software engineering techniques would appear to be incompatible due to contradictory principles. For example, Agile components are usually accompanied with little or no support materials, which is likely to hamper their reuse. However we propose that Agile Reuse is possible and indeed advantageous. We h...
متن کاملLarge-Scale Modelling with the PEPA Eclipse Plug-In
We report on recent advances in the development of the PEPA Eclipse Plug-in, a software tool which supports a complete modelling workflow for the stochastic process algebra PEPA. The most notable improvements regard the implementation of the population-based semantics, which constitutes the basis for the aggregation of models for large state spaces. Analysis is supported either via an efficient...
متن کاملAbstraction and Model Checking in the Eclipse PEPA Plug-In
ion and Model Checking in the Eclipse PEPA Plug-In
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGMETRICS Performance Evaluation Review
سال: 2009
ISSN: 0163-5999
DOI: 10.1145/1530873.1530880